Scheme theory

Results: 835



#Item
291Subroutines / Functional programming / Computability theory / Function / Scheme / Parameter / ALGOL 68 / Constructor / Lisp / Software engineering / Computer programming / Computing

In the old days, they “defined procedures” like this. 4 Defining Your Own Procedures

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2008-08-15 14:41:12
292Sheaf theory / Scheme theory / Commutative algebra / Étale morphism / Finite morphism / Proper morphism / Algebraic space / Coherent sheaf / Sheaf / Abstract algebra / Algebraic geometry / Algebra

ALGEBRAIC SPACES OVER FIELDS Contents 1. Introduction 2. Conventions 3. Geometric components

Add to Reading List

Source URL: stacks.math.columbia.edu

Language: English - Date: 2015-04-15 15:09:14
293Programming language theory / Type system / Subtype polymorphism / System F / Polymorphism / Type inference / Type safety / Interface / Hindley–Milner / Software engineering / Type theory / Computing

Soft Interfaces: Typing Scheme at the Module Level Martin Gasbichler Holger Gast Wilhelm-Schickard-Institut f

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:06:09
294Architectural theory / Sustainable architecture / Sustainable building / Sustainable design / Accessibility / Waterfront Place /  Brisbane / Environment / Architecture / Urban design

PORT PHILLIP PLANNING SCHEME Proposed C104 SCHEDULE 23 TO THE DESIGN AND DEVELOPMENT OVERLAY

Add to Reading List

Source URL: www.portphillip.vic.gov.au

Language: English - Date: 2013-07-05 02:44:25
295Formal languages / String / Automata theory / Comparison of programming languages / Regular expression / Scheme / Natural transformation / S-expression / Lookup table / Computing / Software engineering / Computer programming

Learning Semantic String Transformations from Examples ∗ Rishabh Singh Sumit Gulwani

Add to Reading List

Source URL: vldb.org

Language: English - Date: 2012-04-26 08:00:25
296Finance / Financial crisis / Modern portfolio theory / Collective investment scheme / Financial economics / Investment / Economics

2014 INVESTOR INSIGHTS SERIES OUT OF BALANCE Risk, returns and the contradictory views of individual investors

Add to Reading List

Source URL: ngam.natixis.com

Language: English - Date: 2014-08-06 14:46:12
297New Approach to Appraisal / Transport economics / Decision theory / Impact assessment

Department for Transport Consultation Devolving local major transport schemes The Department for Transport’s (DfT) proposals for devolving major scheme funding were

Add to Reading List

Source URL: www.pb.com.au

Language: English - Date: 2012-03-23 12:50:14
298Moduli theory / Scheme theory / Invariant theory / Algebraic surfaces / Moduli space / Resolution of singularities / Enriques–Kodaira classification / Surface of general type / Moduli of algebraic curves / Algebraic geometry / Geometry / Abstract algebra

MURPHY’S LAW IN ALGEBRAIC GEOMETRY: BADLY-BEHAVED DEFORMATION SPACES RAVI VAKIL A BSTRACT. We consider the question: “How bad can the deformation space of an object be?” The answer seems to be: “Unless there is s

Add to Reading List

Source URL: math.stanford.edu

Language: English - Date: 2005-07-07 21:44:12
299Group theory / Reductive group / Linear algebraic group / Unipotent / Levi decomposition / Borel subgroup / Representation theory / Group scheme / Chevalley theorem / Abstract algebra / Algebra / Algebraic groups

Algebraic Groups An introduction to the theory of algebraic group schemes over fields J.S. Milne Draft

Add to Reading List

Source URL: www.jmilne.org

Language: English - Date: 2015-01-28 16:18:21
300Computing / Data structures / Tree traversal / Hashing / Merkle signature scheme / Tree / B-tree / Cryptographic hash function / R-tree / Binary trees / Cryptography / Graph theory

Structural Signatures for Tree Data Structures Ashish Kundu Elisa Bertino Department of Computer Science, Purdue

Add to Reading List

Source URL: www.vldb.org

Language: English - Date: 2008-10-22 09:22:53
UPDATE